Free shipping on all orders! No minimum purchase required.

More from this Author

Found 2 books by Xingyuan Zhang (Editor)

Interactive Theorem Proving

Interactive Theorem Proving

by Christian Urban (Editor), Xingyuan Zhang (Editor)

Interactive Theorem Proving

Interactive Theorem Proving

by Christian Urban (Editor), Xingyuan Zhang (Editor)

Bookstores.com relies on cookies to improve your experience.